Qcrypt 2021: On The Compressed-Oracle Technique & Post-Quantum Security Of Proofs Of Sequential Work